Der er brug for dig!

To dig or not to dig.

The DIG Description Logic Interface: DIG/1.1

This document describes a simple API for a general description logic system.

The DIG Description Logic Interface: DIG/1.0

This document describes a simple API for a general description logic system. This forms the first of a number of such specifications. Later versions will introduce more higher-level functionality. The current, Level 0 specification provides basic access to the reasoning capabilities of a DL reasoner.

OWLlink: DIG for OWL 2

The OWLlink interface provides an implementation-neutral mechanism for accessing OWL reasoner functionality. In contrast to its DL-oriented predecessor DIG, OWLlink relies on OWL 2 for the primitives of the modelling language, and is thus fully compatible with the forthcoming incarnation of OWL. The OWLlink core introduced in this document covers (i) basic reasoner management, (ii) assertion of...

The Adult of Microfilaria Malayi Brug, 1927